منابع مشابه
The use of B for Smart Card
In a previous paper [Lan-00] we stated that smart cards could be the ideal domain for applying formal methods. We said that the need of formal methods has three origins: mastering the complexity of the new operating systems, certifying at a high level a part of the smart card and reducing the cost of the validation. We believed that these reasons were enough to introduce formal methods in the s...
متن کاملDeveloping Java Card Applications with B
This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. In the proposed approach, the specification of the aplication logic needs not be preoccupied with the specific aspects of the Java Card pl...
متن کاملFormalisation and Verification of the GlobalPlatform Card Specification Using the B Method
We give an overview of an application of the B method to the formalisation and verification of the GlobalPlatform Card Specification. Although there exists a semi-formal specification and some effort has been put into providing formalisations of particular features of smart card platforms, this is, as far as we know, the very first attempt to provide a complete formalisation. We describe the pr...
متن کاملMice Lacking the CARD of CARMA1 Exhibit Defective B Lymphocyte Development and Impaired Proliferation of Their B and T Lymphocytes
CARMA1 (originally called CARD11) is a membrane-associated guanylate kinase family member that is required for T cell receptor (TCR)-induced NF-kappa B activation in T cell leukemia lines. It uses its N-terminal caspase activation and recruitment domain (CARD) to interact with the CARD in the downstream adaptor Bcl-10. We show that primary B and T lymphocytes from knock-in mice expressing only ...
متن کاملA B model for ensuring soundness of a large subset of the Java Card virtual machine
Java Cards are a new generation of smart cards that use the Java programming language. As smart cards are usually used to supply security to a system, security requirements are very strong and certification can become a competitive advantage. Such a certification to a high Common Criteria or ITSEC level requires the proof of all the security mechanisms. Those security mechanisms include the byt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Heart Journal
سال: 2017
ISSN: 0195-668X,1522-9645
DOI: 10.1093/eurheartj/ehx312